﻿using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Text;
using System.Windows.Forms;
using Zove.Compiler;
using Zove.Runtime;

namespace Zove.Desktop {
    public partial class ClassStatisticsForm : Form {
        public ClassStatisticsForm() {
            InitializeComponent();
        }

        public ClassStatisticsForm(RuntimeModel rm)
            : this() {
            gvStatistics.Rows.Add(new string[] { "Factor", rm.Factors.Count.ToString() });
            gvStatistics.Rows.Add(new string[] { "Equations", rm.Equations.Count.ToString() });
        }
    }
}
